|
|
1.
|
Creating Assertion-Based IP
: [electronic resource] /
by Foster, Harry D [author.] | Krolnik, Adam C [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XVIII, 318 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
2.
|
Design for Manufacturability and Statistical Design
: A Constructive Approach /
: [electronic resource] :
by Orshansky, Michael [author.] | Nassif, Sani R [author.] | Boning, Duane [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 316 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
3.
|
Power Distribution Networks with On-Chip Decoupling Capacitors
: [electronic resource] /
by Popovich, Mikhhail [author.] | Mezhiba, Andrey V [author.] | Friedman, Eby G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 516 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
4.
|
Standardized Functional Verification
: [electronic resource] /
by Wiemann, Alan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 276 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
5.
|
Rapid Prototyping of Digital Systems
: [electronic resource] /
by Hamblen, James O [author.] | Hall, Tyson S [author.] | Furman, Michael D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 411 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
6.
|
Nanometer Technology Designs High-Quality Delay Tests
: [electronic resource] /
by Tehranipoor, Mohammad [author.] | Ahmed, Nisar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 281 p. 140 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
7.
|
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
: [electronic resource] /
by Patra, Priyardarsan [author.] | Kougianos, Elias [author.] | Ranganathan, Nagarajan [author.] | Mohanty, Saraju P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 302 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
8.
|
CMOS Active Inductors and Transformers
: Principle, Implementation, and Applications /
: [electronic resource] :
by Yuan, Fei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 292 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9.
|
System Verilog for Verification
: A Guide to Learning the Testbench Language Features /
: [electronic resource] :
by Spear, Chris [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 429 p. 5 illus. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
10.
|
Functional Verification Coverage Measurement and Analysis
: [electronic resource] /
by Piziali, Andrew [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 216 p. online resource.Publisher: Boston, MA : Springer US, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
11.
|
SAT-Based Scalable Formal Verification Solutions
: [electronic resource] /
by Ganai, Malay K [author.] | Gupta, Aarti [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 330 p. 118 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
12.
|
Mixed-Signal Layout Generation Concepts
: [electronic resource] /
by Lin, Chieh [author.] | Roermund, Arthur H. M. van [author.] | Leenaerts, Domine M. W [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: 210 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
13.
|
Taxonomies for the Development and Verification of Digital Systems
: [electronic resource] /
by Bailey, Brian [editor.] | Martin, Grant [editor.] | Anderson, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 180 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
14.
|
Advances in Design and Specification Languages for SoCs
: Selected Contributions from FDL’04 /
: [electronic resource] :
by Boulet, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 305 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Functional Verification of Programmable Embedded Architectures
: A Top-Down Approach /
: [electronic resource] :
by Mishra, Prabhat [author.] | Dutt, Nikil D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIX, 180 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Interconnect-Centric Design for Advanced SoC and NoC
: [electronic resource] /
by Nurmi, Jari [editor.] | Tenhunen, Hannu [editor.] | Isoaho, Jouni [editor.] | Jantsch, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 454 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
Digital Design and Implementation with Field Programmable Devices
: [electronic resource] /
by Navabi, Zainalabedin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 293 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
18.
|
Assertion-Based Design
: [electronic resource] /
by Foster, Harry [author.] | Krolnik, Adam [author.] | Lacey, David [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 390 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
Direct Transistor-level Layout for Digital Blocks
: [electronic resource] /
by Gopalakrishnan, Prakash [author.] | Rutenbar, Rob A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 125 p. 38 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
SystemC Kernel Extensions for Heterogeneous System Modeling
: A framework for Multi-MoC Modeling & Simulation /
: [electronic resource] :
by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 172 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
